clean:
	rm -rf test test.asm prospero.trace
